Evaluating program flow analysis for WCET calculations at Volvo CE
ثبت نشده
چکیده
........................................................................................................................................................ 2 Introduction .................................................................................................................................................. 6 1.1 Background .......................................................................................................................................... 6 1.2 Thesis Focus ........................................................................................................................................ 7 1.3 Thesis Outline ...................................................................................................................................... 7 1.4 Abbreviations....................................................................................................................................... 8 1.5 Related Work ....................................................................................................................................... 8 Concepts ........................................................................................................................................................ 9 2.1 Real Time Systems .............................................................................................................................. 9 2.2.1 Time-Triggered Tasks.................................................................................................................. 9 2.2.2 Event-Triggered Tasks ............................................................................................................... 10 2.2 Execution Time Analysis ................................................................................................................... 10 2.3 Static WCET Analysis ....................................................................................................................... 11 2.3.1 Flow analysis.............................................................................................................................. 11 2.3.2 Low-level analysis ..................................................................................................................... 12 2.3.3 WCET Calculations ................................................................................................................... 12 2.4 Dynamic WCET analysis................................................................................................................... 13 2.5 Hybrid WCET Analysis ..................................................................................................................... 13 Volvo CE...................................................................................................................................................... 14 3.1 Hardware............................................................................................................................................ 15 3.2 Software ............................................................................................................................................. 15 3.3 Code structure .................................................................................................................................... 15 SWEET........................................................................................................................................................ 16 4.1 NIC .................................................................................................................................................... 16 4.1.1 Syntax ........................................................................................................................................ 17 4.1.2 Memory model ........................................................................................................................... 18 4.2 Annotations ........................................................................................................................................ 18 4.3 Flow Analysis .................................................................................................................................... 19 4.3.1 Scope Graph and Flow Facts...................................................................................................... 19 4.3.2 Abstract Execution ..................................................................................................................... 20 4.3.3 Calculation of Flow Information................................................................................................ 20 4.3.4 Flow Analysis Results................................................................................................................ 21 4.4 Low-level Analysis & WCET Calculation ........................................................................................ 22 aiT ................................................................................................................................................................ 24 5.1 User Annotations ............................................................................................................................... 24 5.2 aiSee................................................................................................................................................... 25
منابع مشابه
Clustered Worst - Case Execution - Time Calculation – Tech Report Edition –
Knowing the Worst-Case Execution Time (WCET) of a program is necessary when designing and verifying realtime systems. A correct WCET analysis method must take into account the possible program flow, such as loop iterations and function calls, as well as the timing effects of different hardware features, such as caches and pipelines. A critical part of WCET analysis is the calculation, which com...
متن کاملGenE: A Benchmark Generator for WCET Analysis
The fact that many benchmarks for evaluating worst-case execution time (WCET) analysis tools are based on real-world applications greatly increases the value of their results. However, at the same time, the complexity of these programs makes it difficult, sometimes even impossible, to obtain all corresponding flow facts (i.e., loop bounds, infeasible paths, and input values triggering the WCET)...
متن کاملA Tool for Automatic Flow Analysis of C-programs for WCET Calculation
Bounding the Worst Case Execution Time (WCET) of programs is essential for real-time systems. To be able to do WCET calculations, the iteration bounds for loops and recursion must be known. We describe a newly developed prototype tool that calculates these bounds automatically, thereby avoiding the need for manual annotations by the programmer. The analysis is based on an intermediate code repr...
متن کاملA Formal Framework for Precise Parametric WCET Formulas
Parametric worst-case execution time (WCET) formulas are a valuable tool to estimate the impact of input data properties on the WCET at design time, or to guide scheduling decisions at runtime. Previous approaches to parametric WCET analysis either provide only informal adhoc solutions or tend to be rather pessimistic, as they do not take flow constraints other than simple loop bounds into acco...
متن کاملAn automatic parametric approach for WCET analysis of C programs
In this paper, we propose a static worstcase execution time (WCET) analysis approach aimed to automatically extract flow information related to program semantics. This information is used to reduce the overestimation of the calculated WCET. We focus on flow information related to loop bounds and infeasible paths. The approach handles loops with multiple exit conditions and non-rectangular loops...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007